Skip to content

Conversation

@kderme
Copy link
Contributor

@kderme kderme commented Nov 13, 2025

Depends on #1999

This tracks IntersectMBO/cardano-node#6331

@kderme kderme requested a review from a team as a code owner November 13, 2025 11:40
Cmdv
Cmdv previously approved these changes Nov 13, 2025
@kderme kderme marked this pull request as draft November 13, 2025 14:17
@kderme kderme changed the title Update to node1.6 Update to node 10.6 Nov 13, 2025
@kderme kderme force-pushed the kderme/node1.6 branch 2 times, most recently from 7e2feb8 to d2b36f0 Compare November 19, 2025 10:05
@kderme kderme mentioned this pull request Dec 1, 2025
9 tasks
@kderme kderme force-pushed the kderme/node1.6 branch 3 times, most recently from b90cd18 to ef908d9 Compare December 3, 2025 18:51
kderme and others added 5 commits December 3, 2025 22:19
First, pin the cabal-install version to <3.16, as it does not work with
haskell-language-server 2.11, and haskell.nix doesn't yet have this
available.

Then pin all the other standard dev tools to the expected versions:

 * cabal-3.14.2.0
 * fourmolu-0.17.0.0
 * hlint-3.8
As 3.8 does not seem to work with GHC 9.10
Don't fix the hlint version in the devShell, as any given version won't
support all of our compilers. Instead we'll let the solver decide on a
version, but we'll pin it in the CI check.
Pin fourmolu and hlint to our usual versions, but only provide them in
the default devShell (9.6)
@kderme kderme mentioned this pull request Dec 4, 2025
Previously, we were cross building for aarch64-linux, but
now we're running into the following problem:

    qemu: uncaught target signal 11 (Segmentation fault) - core dumped
    iserv-proxy: {handle: <socket: 5>}: GHCi.Message.remoteCall: end of file

    <no location info>: error: ghc-iserv terminated (1)

Now that we have an aarch64-linux runner, we'll just use that and we
don't have to deal with cross builds and TH.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants